perm filename G.77[ADM,DBL] blob
sn#171372 filedate 1975-08-06 generic text, type T, neo UTF8
OK
ANYB-EXS, FILLIN2
(ANYB-EXS COMPOSE ANYB-EXS)
:FORGOT-ANY)
MAYBE YOU FORGOT SOME OF THESE: INTERESTING-COMPOSE COMPOSE-FINAL&STRUC
**TURE-DIFF ANY1OFE
THINK!!!
NIL
:
NFUN((ANY1OFE))
THERE ARE NOW 145 FUNCTIONS ON TOP4COMS
TOP4COMS
:
EDITF(INIT-MAC)
edit
*F ANY1OF
*PP
[ANY1OF (X (PROGN **COMMENT**
(CAR X]
*C
*PP
[ANY1OF (X (PROGN **COMMENT**
(CAR X]
*2 P
(X (PROGN & &))
*(: ((X) (CAR X]
*0 P
(ANY1OF (& &))
*BK P
(ANY-OF (X &))
*PP
(ANY-OF (X (CONS (QUOTE OR)
X)))
*BK P
(TYPE (X &))
*BK P
(IFEA (& &))
*PP
(IFEA ((X)
(CADR X)))
*OK
INIT-MAC
:MAKEFILE(UTIL4)
<LENAT>UTIL4.;17
:
FIXCOMS
((FNS INT-ENUF START) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COM
**S * (LIST (CONS (QUOTE IFPROP) (CONS (QUOTE
ALL) FIXEDCONS)))))
:FIXEDCONS
(ANYB-EXS COMPOSE ANYB-EXS)
:EDITF(CHANGE-B)
edit
*-1 P
(SETQ FIXEDCONS (CONS B FIXEDCONS))
*3
*(1 UNION)
*0 P
(SETQ FIXEDCONS (UNION B FIXEDCONS))
*OK
CHANGE-B
:SET(FIXEDCONS (ANYB-EXS))
(FIXEDCONS reset)
(ANYB-EXS)
:
EDITV(FIXCONS)
(XEQ-CAND broken)
:EDITV(FIXCOMS)
edit
*P
((FNS INT-ENUF START) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COM
**S * &))
*1 (2)
*(2 ANY1OFE)
*(2)
*(-2 CONCEPTS)
(-2 CONCEPTS) ?
*4 P
4 ?
*0 P
((FNS) GLOBALVARS FIXEDCONS INIT-INT-THRESH TOP4COMS (COMS * &))
*(2 ANY1OFE)
*1 (2 ANY1OFE)
2 ?
*(N ANY1OFE)
*P
(FNS ANY1OFE)
*0 P
((FNS ANY1OFE) ANY1OFE FIXEDCONS INIT-INT-THRESH TOP4COMS (COMS * &))
*(2 CONCEPTS)
*(4)
*PP
[(FNS ANY1OFE)
CONCEPTS FIXEDCONS TOP4COMS (COMS *(LIST (CONS (QUOTE IFPROP)
(CONS (QUOTE ALL)
FIXEDCONS]
*OK
FIXCOMS
:CONCEPTS
(ACTIVE ACTIVE-D-R ACTIVE-EXS ACTIVE-INST ANYB ANYB-ANAS ANYB-ANYP ANYB-
**CHECK ANYB-CHECK1 ANYB-CHECK2 ANYB-D-R ANYB-DEFN
ANYB-DEFN-NOT ANYB-DOMAIN ANYB-EXS ANYB-EXS-BDY ANYB-EXS-NOT ANYB-EXS-NO
**T-BDY ANYB-FILLIN ANYB-FILLIN1 ANYB-FILLIN2
ANYB-GENL ANYB-IN-DOM-OF ANYB-IN-RAN-OF ANYB-INIT ANYB-INST ANYB-INT ANY
**B-INT-NOT ANYB-INTU ANYB-INV ANYB-RANGE
ANYB-RESTRUC ANYB-SPEC ANYB-SUGG ANYB-UP ANYB-VIEW ANYB-WORTH ANYTHING B
**AG-STRUC BAG-STRUC-DELETE BAG-STRUC-INSERT
COMPOSE COMPOSE-D-R COMPOSE-EXS COMPOSE-EXS-D-R CONSTRUCTIVE FINAL FIRST
** LIST-STRUC LIST-STRUC-DELETE LIST-STRUC-INSERT
MULT-STRUC NONMULT-STRUC OBJ-EQUAL OBJECT OBJECT-EXS OPERATION ORD-OBJ O
**RD-OBJ-EXS ORD-PAIR OSET-STRUC OSET-STRUC-DELETE
OSET-STRUC-INSERT PREDICATE REAR RELATION SET-STRUC SET-STRUC-DELETE SET
**-STRUC-DIFF SET-STRUC-INSERT SET-STRUC-INTERSECT
STRUCTURE STRUCTURE-DELETE STRUCTURE-DIFF STRUCTURE-EQUAL STRUCTURE-EXS
**STRUCTURE-EXS-BDY STRUCTURE-INSERT
STRUCTURE-INTERSECT STRUCTURE-MEMB TRUTH-VAL UNORD-OBJ UNORD-OBJ-EXS)
:CHANGE-B)
ANYB-EXS
FILLIN2
... FILLIN2 (APPEND &) CHECK1 (AND &) SUGG (APPEND & &) WORTH (0) INIT (
**ANY-OF NIL) CHECK2 (AND &) SPEC (ACTIVE-EXS
OBJECT-EXS STRUCTURE-EXS))
tty:
*F 11
*F NEWB
*1
*MBD KWOTE
0 0 PP
[LIST (LIST (QUOTE GETB)
(KWOTE NEWB)
(KWOTE (QUOTE EXS)))
(ADD1 (CAR (FNTH GTEMP4 11]
*F REDUCIN$
=REDUCING-TO
*0 UP
*(2 CS-B)
*P
... (QUOTE REDUCING-TO) CS-B (CONS & TMP1))
*BF ANY1OF
*0 0 PP
(LIST (QUOTE ANY1OF)
(LIST (QUOTE TYPE)
(QUOTE QUASIRECURSIVE)
(QUOTE CASES)
(QUOTE REDUCING-TO)
CS-B
(CONS (QUOTE COND)
TMP1)))
*(2 'ANY1OFE)
*P
(LIST (QUOTE ANY1OFE) (LIST & & & & CS-B &))
*E PP(ANY1OFE)
(ANY1OFE
[LAMBDA (L)
(CAR L])
(ANY1OFE)
*E EDITV(FIXCOMS)
edit
*1 P
(FNS ANY1OFE)
*(N ANY1OF-SATISFYING]
*E EDITF(ANY1OF-SATISFYING]
edit
*R Z X
Z ?
*OK
ANY1OF-SATISFYING
*OK
FIXCOMS
*BF GTEMP24
*BF GTEMP24
*BF GTEMP24
*BF GTEMP24
*BF GTEMP24
GTEMP24 ?
*0 P
(QUOTE GTEMP24)
*0 P
(LIST (QUOTE SETQ) (QUOTE GTEMP24) (LIST & & &))
*0 P
(LIST (LIST & & &) (LIST & & & & &))
*2 PP
[LIST (QUOTE SETQ)
(QUOTE GTEMP24)
(LIST (QUOTE ANY1SAT)
(LIST (QUOTE EXS)
(CADR BAL1))
(SUBST (QUOTE X)
(QUOTE BA2)
(SUBST (QUOTE GTEMP23)
(QUOTE BA1)
(SETDIFF GTEMP9 TMP2]
*BF GTEMP23
*BF GTEMP23
GTEMP23 ?
*0 0 P
(LIST (QUOTE SETQ) (QUOTE GTEMP23) (LIST & & &))
*0 P
(LIST (LIST & & &) (LIST & & &) (LIST & & &))
*2 PP
(LIST (QUOTE AND)
(LIST (QUOTE NULL)
(QUOTE BA1))
(LIST (QUOTE NULL)
(QUOTE BA2)))
*NX PP
[LIST (QUOTE SETQ)
(QUOTE GTEMP23)
(LIST (QUOTE ANY1SAT)
(LIST (QUOTE EXS)
(CAR BAL1))
(SUBST (QUOTE X)
(QUOTE BA1)
(SETQ TMP2 (SUBSET-INVOLVING-ONLY GTEMP9 (QUOTE BA1
**]
*NX PP
[LIST (QUOTE COND)
[LIST [LIST (QUOTE SETQ)
(QUOTE GTEMP24)
(LIST (QUOTE ANY1SAT)
(LIST (QUOTE EXS)
(CADR BAL1))
(SUBST (QUOTE X)
(QUOTE BA2)
(SUBST (QUOTE GTEMP23)
(QUOTE BA1)
(SETDIFF GTEMP9 TMP2]
(LIST (QUOTE APPLYB)
(KWOTE CS-B)
(Q ALGS)
(LIST (QUOTE KWOTE)
(QUOTE GTEMP23))
(LIST (QUOTE KWOTE)
(QUOTE GTEMP24]
(LIST T (LIST (QUOTE APPLYB)
(KWOTE NEWB)
(Q ALGS]
*IMP GOING DOWN FOR 5 MIN IN 15 MIN DUE TO SOFTWRE RELOAD
F SUBST
*MBD CONS 'AND
*P
(CONS (QUOTE AND) (SUBST & & &))
*PP
[CONS (QUOTE AND)
(SUBST (QUOTE X)
(QUOTE BA2)
(SUBST (QUOTE GTEMP23)
(QUOTE BA1)
(SETDIFF GTEMP9 TMP2]
*R SETD$ SET-D$
GC: 28
RUNNING AT 22277 LOAD AV. = 1.52, USED 0:03:57.7 IN 1:20:42
108, 1644 FREE WORDS
RUNNING AT 205130 LOAD AV. = 2.29, USED 0:04:08.8 IN 1:21:16
SETDIFF->SET-DIFF
F APPLYB
*0 0 PP
(LIST (QUOTE APPLYB)
(KWOTE CS-B)
(Q ALGS)
(LIST (QUOTE KWOTE)
(QUOTE GTEMP23))
(LIST (QUOTE KWOTE)
(QUOTE GTEMP24)))
*↑
*(R (LIST (QUOTE KWOTE) (QUOTE GTEMP23)) (QUOTE GTEMP23))
*(R (LIST (QUOTE KWOTE) (QUOTE GTEMP24)) (QUOTE GTEMP24))
*F GTEMP23
*F APPLYB
*0 0 PP
(LIST (QUOTE APPLYB)
(KWOTE CS-B)
(Q ALGS)
(QUOTE GTEMP23)
(QUOTE GTEMP24))
*(N 'BA3 'BA4)
*0 P
(LIST (LIST & & &) (LIST & & & & & & &))
*IMP GOING DOWN FOR 5 MIN IN 10 MIN DUE TO SOFTWRE RELOAD
0 P
(LIST (QUOTE COND) (LIST & &) (LIST T &))
*4 PP
(LIST T (LIST (QUOTE APPLYB)
(KWOTE NEWB)
(Q ALGS)))
*0 0 P
(LIST (LIST & & &) (LIST & & &) (LIST & & &))
*3 2 PP
(QUOTE SETQ)
*0 0 0 P
(LIST (LIST & & &) (LIST & &) (LIST & &) (LIST & &))
*3 2 P
(LIST (QUOTE AND) (QUOTE BA1) (LIST & &))
*NX PP
(LIST (QUOTE AND)
(LIST (QUOTE SETQ)
(QUOTE GTEMP24)
(LIST (QUOTE ANY1SAT)
(LIST (QUOTE EXS)
(CADR BAL1))
(SUBST (QUOTE X)
(QUOTE BA2)
GTEMP9)))
(LIST (QUOTE APPLYB)
(KWOTE CS-B)
(Q ALGS)
(QUOTE BA1)
(QUOTE GTEMP24)))
*F SUBST
*REDO MBD
P
(CONS (QUOTE AND) (SUBST & & GTEMP9))
*F APPLYB
*0 0 P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE BA1) (QUOTE GTEMP24))
*(N 'BA3 'BA4]
*P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE BA1) (QUOTE GTEMP24) (
**QUOTE BA3) (QUOTE BA4))
*F 'AND
*0 PP
(LIST (QUOTE AND)
(LIST (QUOTE NULL)
(QUOTE BA1))
(QUOTE BA2))
*NX PP
(LIST (QUOTE AND)
(LIST (QUOTE SETQ)
(QUOTE GTEMP23)
(LIST (QUOTE ANY1SAT)
(LIST (QUOTE EXS)
(CAR BAL1))
(SUBST (QUOTE X)
(QUOTE BA1)
GTEMP9)))
(LIST (QUOTE APPLYB)
(KWOTE CS-B)
(Q ALGS)
(QUOTE GTEMP23)
(QUOTE BA2)))
*F SUBST
*REDO MBD
P
(CONS (QUOTE AND) (SUBST & & GTEMP9))
*0 0 NX P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE GTEMP23) (QUOTE BA2))
*(N 'BA3 'BA4)
*F 'AND
*0 PP
(LIST (QUOTE AND)
(QUOTE BA1)
(QUOTE BA2))
*NX PP
[CONS (QUOTE AND)
(APPEND GTEMP9 (LIST (QUOTE APPLYB)
(KWOTE CS-B)
(Q ALGS)
(QUOTE BA1)
(QUOTE BA2]
*-1 3
*MBD LIST
P
(LIST (LIST & & & & &))
*-1 -1 P
(QUOTE BA2)
*(A 'BA3 'BA4)
*0 P
(LIST (QUOTE APPLYB) (KWOTE CS-B) (Q ALGS) (QUOTE BA1) (QUOTE BA2) (QUOT
**E BA3) (QUOTE BA4))
*IMP GOING DOWN FOR 5 MIN IN 5 MIN DUE TO SOFTWRE RELOAD
OK
ANYB-EXS, FILLIN2
(ANYB-EXS)
:SYSOUT(S) RUNNING AT 13640 LOAD AV. = 2.95, USED 0:04:21.9 IN 1:29:2
**4
<LENAT>S.;1
:
MAKEFILE(FIX)
FILE CREATED 4-AUG-75 17:04:14
FIXCOMS
(FIXCOMS reset)
(FIXEDCONS reset)
(TOP4COMS reset)
↑C
@DEL FIX
@DEL FIX
@DEL FIX
@DEL FIX ?
@S.
INTERLISP-10 4-JAN-75 ...
Good afternoon.
(<LENAT>S.;1 . <LISP>LISP.SAV;50104)
:MAKEFILE(FIX)
FILE NOT FOUND
FIX
(INFILE broken)
:CLOSEF)
NIL
:
CL
←CLOSEF(FIX)
FILE NOT OPEN
FIX
←IMP GOING DOWN FOR 5 MIN IN 0 MIN DUE TO PANIC
MAKEFILE(FIX)
FILE NOT FOUND
FIX
(INFILE broken)
:↑C
@S.
INTERLISP-10 4-JAN-75 ...
Hi.
(<LENAT>S.;1 . <LISP>LISP.SAV;50104)
:(SETQ FIX2COMS FIXCOMS)
((FNS ANY1OFE ANY1OF-SATISFYING) CONCEPTS FIXEDCONS TOP4COMS (COMS * (LI
**ST (CONS (QUOTE IFPROP) (CONS (QUOTE ALL)
FIXEDCONS)))))
:
MAKEFILE(FIX2)
<LENAT>FIX2.;1
:
MAKEFILE(UTIL4)
RUNNING AT 205673 LOAD AV. = 2.78, USED 0:04:58.2 IN 1:33:22
<LENAT>UTIL4.;18
:
CHANGE-B(COMPOSE)
FILLIN2
... FILLIN2 NIL)
tty:
*(2)
*(:)
*IMP GOING DOWN FOR 5 MIN IN 0 MIN DUE TO PANIC
0 P
(GENL (OPERATION) WORTH (250 150 700 500 400 990 900 1000 800 800 1000)
**D-R (OSET & & & &) DEFN (ANY1OF &) ALGS (ANY1OF
&) UP (OPERATION) SPEC NIL EXS (ANY-OF NIL) INST (ANY-OF NIL COMMENT EXS
** OF YOUR DOMAIN ARE ON OSET-STRUC) EXS-BDY (
ANY-OF NIL) EXS-NOT-BDY (ANY-OF NIL COMPOSE-REAR&STRUCTURE-DIFF) INT (IP
**LUS & & & & & &))
*